Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
121	Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction∗ Jun Zhang1,2,3,4 1 Chaokun Wang2,3,4 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:06 Control theory Collective intelligence Mathematical model Mathematical modeling Markov chain Dynamical system Logarithm Discretization Linear temporal logic Mathematics Applied mathematics Markov models
122	INTEGRATED CIRCUITS DATA SHEET PCD8544 48 × 84 pixels matrix LCD Add to Reading List Source URL: www.myplace.nu Language: English - Date: 2014-09-07 05:03:57 Computer memory Electronic engineering Electronics Liquid crystal display Microcontroller Dynamic random-access memory Logic level Digital electronics Computer hardware Display technology
123	Communica)on-‐Avoiding Algorithms Jim Demmel EECS & Math Departments UC Berkeley Why avoid communica)on? (1/3) Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-11-20 12:39:06 Mathematical logic Theoretical computer science Dynamic random-access memory Speedup Computer memory Computing Algorithm
124	Terabit Clockless Crossbar Switch in 130nm Uri Cummings [removed] 1 Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:42:32 Electrical engineering Electrical circuits Asynchronous circuit Clock signal Central processing unit Flip-flop Dynamic logic Delay insensitive circuit Logic family Electronic engineering Digital electronics Electronics
125	Dynamic Proof Theories For Input/Output Logic Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University August 28, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-08-29 06:09:36 Non-classical logic Modal logic Philosophical logic Model theory Deontic logic Default logic Function Interpretation Dc Logic Mathematical logic Mathematics
126	FabSim A (semiconductor) factory simulator FabSim Structure FabSim Interactive is a compact fab simulator contained in a single C++ Windows dynamic link library. The dll is controlled by a supervisor program written in B Add to Reading List Source URL: www.fabsim.com Language: English - Date: 2004-11-16 14:58:28 Electronic design automation Operations research Simulation Logic simulation Semiconductor fabrication plant Simulation software Electronic engineering Digital electronics Logic design
127	Dynamic Proof Theories For Normative Reasoning on the Basis of Consistency Considerations Christian Straßer and Joke Meheus and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-14 17:29:07 Philosophy Social philosophy Sociology Philosophy of law Philosophy of language Norm
128	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
129	Reactive Web Applications with Dynamic Dataflow in F# Anton Tayanovskyy Simon Fowler Loïc Denuzière Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Programming paradigms Computer architecture Computer data Dataflow Lambda calculus Reactive programming Static single assignment form Combinatory logic Futures and promises Computing Software engineering Computer programming
130	Stanford Encyclopedia of Philosophy: A Dynamic Reference Work ∗ † Add to Reading List Source URL: seop.illc.uva.nl Language: English - Date: 2004-05-06 13:51:35 Logic Encyclopedia Reference Knowledge Online encyclopedias Stanford Encyclopedia of Philosophy Information

UPDATE